PROCESS ALGEBRAIC APPROACH TO HYBRID SYSTEMS
نویسندگان
چکیده
منابع مشابه
Process Algebraic Approach to Hybrid Systems
Process algebra is a theoretical framework for the modelling and analysis of the behaviour of concurrent discrete event systems that has been developed within computer science in past quarter century. It has generated a deeper understanding of the nature of concepts such as observable behaviour in the presence of nondeterminism, system composition by interconnection of concurrent component syst...
متن کاملAn Algebraic Approach to Hybrid Systems
We propose an algebraic model for hybrid systems and illustrate its usefulness by proving theorems in realization theory using this viewpoint. By a hybrid system, we mean a collection of continuous nonlinear control systems associated with a discrete finite state automaton. The automaton switches between the continuous control systems, and this switching is a function of the discrete input symb...
متن کاملA Process Algebraic Approach to Computational Linguistics
The thesis presents a way to apply process algebra to computational linguistics.1 We are interested in how contexts can a ect or contribute to language understanding and model the phenomena as a system of communicating processes to study the interaction between them in detail. For this purpose, we turn to the -calculus and investigate how communicating processes may be de ned. While investigati...
متن کاملA Process Algebraic Approach to Time Granularity
In this paper we develop a theory for timed systems which relate to time granularity. We use the well known equivalence of bisimulation to study the eeect of changing granularity. We identify situations where measuring time more accurately has no eeect on the equivalence. Similarly we also present a few situations where measuring time less accurately has no eeect on the equivalence. We also pre...
متن کاملA Process Algebraic Approach to Situation Semantics
We propose a way to base Situation Semantic to a computational ground of concurrency and to linear logic. One of the core ideas of Situation Semantics is ecological realism, the idea that meaning arises from the interaction between a cog-nitive agent and his/her environments. We model both the agent and environments as a process and study the interaction as a system of communicating processes. ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 2005
ISSN: 1474-6670
DOI: 10.3182/20050703-6-cz-1902.00338